Apresenta o método de avaliação do modelo de processos de negócio do Enterprise Knowledge Development (MPN-EKD) e um exemplo de aplicação. Para criar o método de avaliação, foi desenvolvida a formalização do modelo de processos de negócio do EKD (MPN-EKD) e o mapeamento de sse modelo em redes de Petri. Por meio desse método, é possível verificar se o modelo tem erros de construção e travamentos. O EKD é uma metodologia que fornece uma forma sistemática e controlada de analisar, entender, desenvolver e documentar uma organização. A metodologia EKD não possui uma sintaxe e uma semântica bem definidas, dificultando análises mais complexas dos modelos e a verificação da consitência do modelo. Essa dificuldade motivou um estudo baseado em redes de Petri. O formalismo de redes de Petri a torna uma importante técnica de modelagem para a representação de processos. Além disso, redes de Petri permitem rastrear cada etapa da operação sem ambigüidade e possuem métodos eficientes de análise que garantem que o modelo está livre de erros.

The EKD - Enterprise Knowledge Development - is a methodology that offers a systematic and guided process to analyze, understand, develop, and document an Enterprise. Unfortunately, its grammatical structure and context formation are not clear nor easy to understand and interpret making the analyses of more complex models difficult. As a result, the Enterprise Process model of EKD can be ambiguous and hard to analyze, especially regarding more complex systems, and so it can also be difficult to verify the consistency and entireness the model. In this work, these problems will be studied based on the Petri Nets approach. Due to the Petri Nets formalism, this is an important modeling technique to process representation. Furthermore, Petri Nets allows the tracking of every step of the operation with no ambiguity, and it offers efficient methodology for the analyses, which can guarantee the accuracy of the model. Therefore, the objective of this study is to develop an evaluation methodology of the business process model of EKD (MPN-EKD). Such methodology will allow the verification of possible building and locking model errors. This methodology can be applied to information systems or workflow. It can also be used to study strategies of work and workflow simulations.

Existem muitos sistemas que, embora tecnicamente corretos, não satisfazem as reais necessidades do negócio. Isso ocorre porque a tecnologia da informação é, muitas vezes, utilizada apenas para automação dos processos de negócio existentes e não para a reformulação desses processos, visando a encontrar todas as necessidades do usuário. Nesse sentido, este trabalho tem o objetivo de apresentar algumas técnicas de Modelagem Organizacional, um breve estudo comparativo entre essas técnicas e detalhar o Enterprise Knowledge Development (EKD), que é um método de Modelagem Organizacional, que facilita a aquisição do conhecimento da estrutura organizacional e estratégica; auxilia na captura dos requisitos organizacionais, na tentativa de melhorar a compreensão do domínio e na interação com usuários, para que eles entendam o que o sistema de informação pode fazer para melhorar o negócio.

Though technically correct, many information systems fail to meet the real needs of users in a business setting because information technology is often used only to automate the existing business processes and not to reformulate those processes with a view to meeting all the user's needs. In this context, this paper discusses various organizational modeling techniques, briefly compares these techniques, and gives a detailed description of the EKD - an organizational modeling method designed to facilitate the acquisition of knowledge about organizational and strategic structures. The method helps to grasp organizational requirements, enhancing comprehension of the domain and interaction with the user and enables to understand what the information system can do to improve the business.

A tecnologia de gerenciamento workflow procura oferecer uma solução flexível em apoio aos processos de negócios, por meio da facilitação de modificações e da criação de novos processos. Entretanto, a falta de definição bem formalizada no que se refere à sintaxe e à semântica de tais técnicas dificulta análises mais complexas dos modelos. Nesse caso, redes de Petri atuam com excelente potencial, uma vez que possuem representação gráfica, são de fácil aprendizado, funcionam como linguagem de comunicação entre especialistas de diversas áreas, possibilitam descrever aspectos estáticos e dinâmicos do sistema a ser representado e ainda possuem o formalismo matemático necessário para métodos de análise já consagrados. O presente trabalho tem por objetivo, primeiramente, oferecer uma visão atualizada do estado da arte na área de modelagem de workflow baseada em redes de Petri e expor um exemplo de modelo de workflow com parâmetros de tempo e custo associados às transições da rede. O objetivo secundário é apresentar conceitos importantes de redes de Petri, workflow e rotas de processos.

Unfortunately these systems and techniques do not have well-defined syntax and semantic, which makes harder the complex analysis of models. In this case, Petri nets have excellent potential to solve the problem, once they present graphic representation and easy understanding. They are used as a communication language among expert people in different areas, and may allow the description of static and dynamic aspects of the systems that have to be represented. Also, they have mathematic formalism, which make possibly the use of the analysis methods. The objective of this work is to present the potential of Petri nets in studies of Enterprise Modelling and Workflow, showing an example of application, with time and cost parameters.